逻辑程序的自动模式推导

本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法,并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确,有铲的别名自理方法以及基于”护展表“的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。     

Easy lower bound for a strange computational model

The paper gives a new proof of the well-known lower bound (n logn) for the algebraic complexity of the functionx ₁ ⁿ x ₂ ⁿ +...+x _n ⁿ (if the characteristic of the ground field does not dividen). As a tool, the proof uses a computational model that counts only duplicators.     

通信技术三大跃进和媒体数字化

本文先叙述现代通信技术进展最快的三项 ,即 :硅片集成密度、光纤传输能力、无线通信容量 ,其中特别引人瞩目的是一根光纤的实验传输速率已达 1Tb /s,意味着将使用“奇妙的飞秒”的光脉冲。文中又提到媒体数字化的重要技术 ,这将依靠“朴实的比特”发挥作用。     

一种新型双忆阻混沌系统动力学及其电路实现研究

在经典的蔡氏混沌电路基础上,引入三次非线性磁控忆阻模型,利用一个磁控忆阻模型和一个荷控忆阻模型,外加一个负电导替换变形蔡氏电路中的蔡氏二极管,设计了一个五阶混沌电路,用常规的方法研究系统的基本动力学特性。通过数值仿真结果表明电路在参数变化情况下能产生Hopf分岔和反倍周期分岔两种分岔行为,并能产生双涡卷、单涡卷、极限环、同宿轨等不同轨道,出现了双单摆运动。观察混沌吸引子推广到功率与能量信号,观察到蝴蝶翅膀重叠的奇异吸引子。通过改变初始值,能产生共存吸引子和周期极限环共存现象。为了验证电路的混沌行为,将对设计的电路进行了PSpice仿真,电路仿真结果验证了理论分析的正确性。     

Antiambipolar Transistor: A Newcomer for Future Flexible Electronics

An antiambipolar transistor exhibits a steep increase and decrease in drain current within a certain range of gate bias voltage. This unique feature is brought about by a partially stacked pn‐heterointerface formed around the center of the transistor channel. First, this review discusses recent topics related to the antiambipolar transistor, including the constituent materials, operation mechanism, and factors controlling device performance. Then, novel functional applications, such as optoelectronics and multivalued logic circuits, are introduced. The transistor channels of antiambipolar transistors consist largely of 2D atomically thin films or organic semiconductors. These materials are mechanically flexible. Therefore, antiambipolar transistors have the potential to enable advances to be made in the field of flexible electronics.     

开源逻辑软件协同设计管理系统

本文以逻辑软件开源设计为主线,基于通用化、模块化的标准研究开源逻辑软件协同设计管理系统,主要由逻辑软件协同设计管理平台、软件无线电演示验证平台和逻辑软件公共构建模块(Common Building Blocks,CBB)库三大部分组成.一方面,实现逻辑软件开发及使用过程中的标准化管理、高效协同工作和资源成果共享;另一方面,提供一个快速、全面的逻辑软件原型设计验证平台,可支持各种逻辑软件的功能、性能测试.     

A 0.3nV/√Hz input-referred-noise analog front-end for radiation-induced thermo-acoustic pulses

This paper presents the design and the experimental characterization of a complete acoustic analog front-end (A-AFE) read-out channel for detecting thermo-acoustic pulses induced by heavy-charged particles interacting with matter. The most relevant applications are in particle physics experiments (bubble chambers for Dark Matter Weakly Interacting Massive Particles (WIMPs) detection) and biomedical (beam range verification in oncological hadron-therapy). Typical thermo-acoustic pulses are characterized by 50 kHz–500 kHz bandwidth and weak amplitudes (around 5–50 Pa) and thus require low-noise piezoelectric-based ultrasound sensors (with input-referred noise power spectral density, IRN-PSD, as low as 1–2 nV/√Hz) whose output signal is 1–10 μV_0-PEAK amplitude. Thus, even lower noise electronics are needed to preserve the weakest signal and maximize the sensitivity of the whole detector.For this reason, the A-AFE has been designed to achieve a global 0.3 dB Noise Figure with an input-referred detector noise floor as low as 2.3 μV_RMS (corresponding to 93 mPa_RMS) thanks to a dedicated JFET-based low-noise amplifier. The A-AFE achieves 31.5 dB Signal-to-Noise-Ratio at 4.8 Pa and 160 kHz pressure source.The final A-AFE prototype has 45 dB in-band gain at 0.3 nV/√Hz Input Referred Noise and it is the first specifically designed and optimized for sensing the acoustic signal coming from interactions between radiations and matter.     

SOM-T2 FLS在股市预测中的应用研究

由于金融市场的复杂性和特殊性,现有预测算法的性能在牛市和熊市中呈现出较大差异,导致分类精度不高和抗风险能力不强,提出一种基于自组织特征映射-2型模糊逻辑系统（SOM-Type-2 Fuzzy Logic System,SOM-T2 FLS）的分类算法。通过SOM网络将样本集分成两个不同子集,然后在每一个子集下分别学习T2 FLS分类器。在分类器学习过程中,提出将规则库的长度作为正则项,降低模型复杂度。利用中国证券市场的历史数据,验证了该算法较现有算法具有更好的预测效果和抗风险能力。     

消息传递的MSVL通信机制及其实现

建模,仿真和验证语言（MSVL）是一种时序逻辑编程语言,它是投影时序逻辑（PTL）的可执行子集.MSVL和PTL可用于并发系统的建模和性质验证.然而,MSVL缺少一种消息传递的通信机制,这种机制对于并发分布式系统的建模和验证至关重要.本文说明了如何在MSVL中开发和实现合适的机制来对分布式系统进行建模和验证.该机制首先定义了通道结构,对通信语句和进程结构进行形式化描述,接着介绍了这些通信语句的实现机制.最后,提供了一个关于电子合同签名协议的建模和验证实例,说明消息传递在MSVL中的工作原理.     

规则半自动学习的概率软逻辑推理模型

概率软逻辑（PSL）作为一种基于声明式规则的概率模型,具有极强的扩展性和多领域适应性,目前为止,它需要人为给出大量的常识和领域知识作为规则确立的先决条件,这些知识的获取往往非常昂贵并且其中包含的不正确的信息可能会影响推理的正确性。为了缓解这种困境,将C5.0算法和概率软逻辑相结合,让数据和知识共同驱动推理模型,提出了一种规则半自动学习方法。该方法利用C5.0算法提取规则,再辅以人工规则和优化调节后的规则作为改进的概率软逻辑输入。实验结果表明,在学生成绩预测问题上所提方法比C5.0算法和没有规则学习的概率软逻辑具有更高的精度;和纯手工定义规则的方法相比,所提方法能大幅降低人工成本;和贝叶斯网络（BN）、支持向量机（SVM）等算法相比,该方法也表现出不错的效果。